I've got one of the first available Ultimakers from last year so maybe the belts have changed since then, but mine appear to be marked 100MXL and 300MXL.
Looking at your link, the 100MXL is 8.00" and the 300MXL is 24.00".
MXL is the tooth style
.25" is the width (or 6.4mm if you choose)
240 is the number of teeth which will give you a 19.2" pitch length
80 is the number of teeth which will give you a 6.4" pitch length
Both of which seem too short for my machine.
What are your stock belts marked as?
Dave