Alas, May 1st came and passed without incident, but now the exact same models mentioned by Nintendo Only have appeared in the database of a German retailer ("hellblau" is "light blue," while the others are obvious), complete with listings for red, green, and turquoise (?) styli. Oh, and there also appears to be serial numbers -- serial numbers make everything look more official.
Suddenly, this same speculation is looking far more credible, and we're way too excited again. Skip past the break for the full listings.
NDS Lite hellblau EAN: 0045496442996
NDS Lite rot EAN: 0045496443016
NDS Lite grün EAN: 0045496443030
NDS Lite Stylus türkis EAN: 0045496452148
NDS Lite Stylus rot EAN: 0045496452155
NDS Lite Stylus grün EAN: 0045496452162
[Via Go Nintendo]