Has anyone bought a tux from tinytux.com or tuxgear.com? Was the experience good or bad?