Anyone have any experiences with Tuxedo (desktop) computers? Good idea or bad idea?