Anyone know of this card's functionality under Linux? Verizon Wireless is using it for their broadband wireless data service in the US. If I can use it I'd love to.