Powering bluetooth module from Arduino pro mini 5v

Thank you for all the replies! I decided to use a LD1117V33 voltage regulator as described here: HOW TO GET WHAT YOU WANT
Hopefully it'll be helpful for somebody else in the future.