You're right, timing made it impossible to avoid.
BTW bots without a max cost are being sent proportionally less (60%) to mitigate specifically these issues.
In any case you'd for sure would not have colliding bids with other Steemium users.