I use Beersmith for recipe formulation. You can download a free trial online. There are also numerous sites that do the same, but Beersmith is totally worth the $20.
Your FG will typically increase as your OG does, so the 1.009 isn't gospel, just a general target for you to aim for. Belgian...