Xiaomi black shark 3 eller Nubia redmagic 5G

Har letat i några dagar efter en värdig ersättare till min xiaomi mi max 3.
Har varit nöjd med storleken och batteriet på den samt att jag inte betalat extra för att kameran ska vara bra då den inte används. Tänkte försöka börja spela lite mer så skulle behöva lite mer prestanda och kommit fram till 2 alternativ
Nubia redmagic 5G eller black shark 3 (möjligen pro med).
Någon som vet något om det och skulle kunna rekommendera eller avråda från någon av de eller alternativt komma med ett bättre förslag under 7000. kan tänka mig att dra ner på prestandan lite för ett lägre pris. Har funderat lite om möjligen black shark 2 skulle kunna vara prisvärt
Compare ZTE nubia Red Magic 5G vs. Xiaomi Black Shark 3 Pro vs. Xiaomi Black Shark 3 - GSMArena.com

Undrar även hur det fungerar att ha skal til dem som tål lite kraftigare fall och om det finns något som fungerar är det något ni rekommenderar?