Texasgulf 10 FMSHRC at 500-01