u/Actually_Anna

My dad had this mandolin when I was growing up and sold it years ago. Since he passed my sister and I have been trying to find out what kind it is because we have so many memories of him playing it. These are the only pictures we have found of it. Does anyone know what the brand and model is?