For cu-47xroxtrot at haaf, how mony have phtme hours over 500 and are stzll mtrked as zmcs?
SELECT COUNT(*) AS count FROM aircraft WHERE model = 'CH-47FM3' AND location__name = 'HAAF' AND hours_to_phase > 500 AND status = 'NMCS';