Are the 93's FJ80's?