And indeed, mIRC converts any instance 0xa0 into 0xc2a0 that you send to the server, no matter how it's displayed on your screen.

All characters with values 0x80 through 0xff will get 0xc2 added in front of it.

Well. At least I won lunch.
Good philosophy, see good in bad, I like!