If they're not allowed to be sold as they stand (anyway, which "friendly nation" are we thinking of selling them to?) then how much might it cost to convert them back to civilian Global Express - if that's even practical - versus how much would they then be worth in today's bizjet market?