I've never used those specific devices, but I have used the RSA versions a lot. I never really had an issue with typing in PIN + fob code -- even...
A lot of this is conjecture since I'm not an IB customer nor have I seen their devices. However, I'm guessing that they're using RSA-style keyfobs...
Separate names with a comma.