Anybody familiar with add-ons for Firefox that manipulate Flash Player? I would like to change the player size, for example. By the way. Anybody know of other programs that might do stuff like change the flash player size? Thanks.