The truth is that both Elon Musk and Michael O' Leary are elite CEO's, amongst the most capable and astute in the business world globally. And they both have a great sense of humour too. Both can have lots of fun and free publicity with this, and good luck to them! Why wouldn't you?