I get that you can't DF with Choc summoned - the choc is part of your party and no qualified for dungeons. But not being able to ride mounts while choc is summoned is a pita (it took them long enough to make it so that you could ride your choc while it was summoned)