No, this is the first time I’ve seen
Lot here. Old Testament names aren’t very popular here, and I think in this case
Lot was used as a masculine version of Lota /
Lotta (Lota has been gaining popularity in the past decade and L names are generally very popular).