Will we have to stratify em?
Almost certainly, I just took these out of the fruit this year, they have not been treated in any way.
Do they come from any named varieties ("mango" etc) or are they wild?
I'm a bit embarrassed to say I don't know, My family received the tree around 15 years ago and the fruit are pretty variable but all good making me think it is a wild tree, I haven't been back to see the tree since I have learned how to identify a graft due to the pandemic but I don't recall it being a named variety. It was bought from a nursery though.