七月旅行：一萬港元兌換歐羅

today's rate HKD$1 = EUR 0.09453

so that means you will have EUR 945.3

Basically most banks in HK will charge customer handling fee, except if youre already their customer(Account holder, Credit Card holder etc)