I found "Coolsat 8000 loader" file. should be a loader file version 3.01
Other than checking that, no I did not check anything else.
Unless a different loader was erroneously posted as the v3.01, this should have been it, don't think there would of been a reason to look for anything else.