XD Changing into a bat is considered a classic trait so yes, if you'd like him to turn into a bat, he can. And the magic is fine, just keep me in the loop.