Does Ohio have funky butt spiders?

The funky butt spider is a common name for Micrathena gracilis which does occur in Ohio.

I always learned funky butt spider as the common name, but it seems that the accepted common name is now Spined Micrathena.