not quite, have you done this job?

No prybar is needed for any of this so I'm not sure what that was for. What did you use it on?
3x 15mm nuts, not "bolts" for the top of strut to mount
1x large through bolt at bottom of damper has a 24mm nut and 21mm bolt head, the nut requires either deep socket or box wrench. Air makes quick work of this one.
Not sure where your 12mm bolt is but the air line nut is 12mm and is best done with a line wrench and patience as you can screw these up very easily.
The back nut of the upper 3 is not really hard at all with the right tools. To make it super easy use a 1/4 drive long flex head with stubby socket. The flex head allows you to make nice long sweeps in an arc shape to follow allowable clearance under the plastic fender liner.
For 100% remove and replace with new complete strut, I don't think even the best shop can do it in under an hour. This is because care must be taken at the air line and it's not the quickest thing to remove and replace that one aspect while the reat really is pretty quick. Once front corner is lifted, you also should first "deflate corners" which in itself takes about 5 minutes to locate elec tool and find on menu and complete. The strut is almost impossible to remove easily without being deflated.
The time from go pull the car in to take the car back out is definitely over an hour. I would bet the dealer charges at least 2hrs.