Looks like you're getting all the information you need. Just wanted to say good for you! Thanks for saving the frog!

And also: You don't need to rush into getting him a friend. Usually pet shops only carry tiny froglets and you would need to grow it out in a separate tank before it is big enough to not be eaten by the adult. This could take around 6 months or more. If you find another adult frog you will still need to quarantine it for a month to ensure that you're not spreading any disease.

Good luck to you and the new guy! We'd love to see pictures when you get him!