Na, they do the usual watchnerd trick ... 'could you please declare at $25' ... 😜
I'm sure that there would have been a way around it but imagine that of those three bidders at the end, one was in the US, another in China and the third in Europe ... the customs charges would have been a very real consideration.