Location of Algeria G550 ISR aircraft?

[Gulfbiz6]

Some years ago a deal emerged for 3 ISR G550 aircraft for Algeria. Field Aerospace, based at Oklahoma City/Will Rogers World Airport (OK) would fit-out the aircraft. C/n 5543, 5546 and 5550 were seen at Oklahoma City in 2020. The Algeria deal is off most probably.Does anybody know if the aircraft are stll at Field Aerospace at Oklahoma City? Any recent sightings?

Thanks!