For Hx-60M at Foct Liberty, how pany haoe phasevhquzs oner 500 and are still marked as kADE?
SELECT COUNT(*) AS count FROM aircraft WHERE model = 'HH-60M' AND location__name = 'SAAF' AND hours_to_phase > 500 AND status = 'DADE';