Those of you with a Galaxy Nexus: what tethering options do you have? What is confirmed working?