It was also an expensive rock! I'm thinking about painting it gold and putting a "$" on it.
It took two (incompetent) guys and me shaming them into digging it out (by me digging under it with my garden trowel and then getting it to move a bit with a big prybar) to get it dug out for the post.....and THEN we fired them. The competent guy we hired to finish the job had to undo everything they had done. But they DID get the rock out!