I understand it might befuddle reservations systems, but doesn’t ATC already use tail registration numbers to address general aviation aircraft? If they can use those, there must be some flexibility in their systems.