[BRN_RI_FL]

I’ve been a New Englander for most of my life so I’m just learning about all this Florida stuff. My question of the day relates to grass type. I have a few places in my new courtyard villa yard where I would like to throw down some grass seed. What type should I buy? I’m not even sure what type of grass I have. I’ve pulled up some grass near the sprinkler heads and whatever I have has real deep roots. Can anyone educate me?
Thanks in advance,
Bruce