Mini KTX ticket booking/vending machines

Mini KTX ticket booking/vending machines which accept foreign credit cards - the regular ticket machines only accept Korean credit cards or cash (only some of them).

 

In my travels I only saw these at Seoul Station. They weren't seen at other major KTX stations including Busan,

Done