I have a crawlspace under half my house, and made the mistake of watching a YouTube video about how to do "underpinning". Now I want to dig it out down to 10ft to use for some desperately needed storage space, maybe some gym space. Our local building office is amazingly supportive of DIYers, and I appreciate them double checking my work.