@ezyang I don't think I've ever seen a third party device that supported Mac OS volume control. Do they really exist?