Wow! My sincere thanks to everyone who signed and shared this petition! Regardless if Washington D.C. officially recognizes Aug 1st as National Pinball Day or not, we're all going to celebrate pinball in our own way! Stay tuned for any further developments.
Thank you all!