Thanks. The proprietary Broadcom driver worked well enough until it didn't, and now I know firsthand why not to use them, so that's a useful experience at least.