There are other bitcoiners who have done Ironman but in the first bitcoin-everything ironman haha