I don’t think it works for 40XX, it needs the digits. The bigger snag is that it only uses one Vinbot call per thread, as I found out later. So it hasn’t shown any of the vins I tagged .
Your tag looks correct per instructions -- Typ "!vinbot Model 3 #000" if you spot a Model 3 vin. Typ "!vinbot Model 3 #000 #000 #000"
The vinbot now also works on teslamotorsclub.com and model3ownersclub.com