You actually can trade Pokemon with HMs, they just can't be in your party when you do. You got around it anyway, but that might save you some time down the road ;)I'm sorry I completely forgot you can't trade HMs this gen. Could you wait for me to delete it?