Mac mini wohl tot, was kaufen?

Der Mini meiner Tochter aus dem Jahr 2011 ist wohl hin, es scheint das Logicboard zu sein. Reparatur etwa 400.- Vor ein paar Monaten wurde eine 500 GB SSD von Samsung eingebaut.
Sie tut sich schwer damit zu entscheiden, was sie tun soll. Was soll ich ihr raten: a) neuer mac mini, die SSD dort einbauen lassen, b) Reparatur des Minis, c) ketzerischer Gedanke von wohlmeinenden Freunden: auf Windows umsteigen, SSD ev. in ein Gehäuse einbauen oder in den Windows-PC. Im Haushalt gibt es sonst ausschliesslich Mac-Geräte.