Returned to Ordered Decathlon after it finally becoming a category, got a 9:22, 4 seconds off world record, and kept grinding. Grinded for a solid while but eventually, I finally got this. The first sub-9! Very nice!