I played around with this recipe on BeerSmith Mobile (what I use for recipes). It came up with some different numbers but an overall OG of 1.080. It seemed like BeerSmith treated sugar added to the boil as if 100% of the sugar made it into the fermenter. It did not not seem to subtract out any of the sugars that would be lost in the kettle. I don't know if BeerSmith Desktop treats this any different. Sugar added to the boil should not be treated as the same 75% efficiency (since that also includes your mash efficiency) but seems like it should be adjusted (to maybe 95%) based on kettle losses.