Agreed. Amazing accomplishment that many runners even don’t know about. I had a friend running the same race and it took him just under 20 hours. A seven hour difference boggles the mind.