Not that it matters, but Gulfstream 3 and 4’s are the minority of gulf streams in the market compared to 5’s-650’s