You're basing that on last night's results, which were aided by a bad error and a unfortunate ground ball in no man's land. Strop's two performances prior were solid and the Reds should have gotten out of that unscathed.
Until last year, Lindor's splits were significantly better from the right side. Even when factoring in last year, his career numbers are still better from the right side.
In the 8th, he would have had to to face Reyes, who kills LHP. OPS is 150+ points higher against lefties. Yes, he still ended up hitting a HR, but it was 100% the right move statistically.
I like Garrett, but some of you are forgetting that Garrett had a brutal second half last year. The Reds have a ton of guys with flaws and nobody down there you can trust regularly. For that reason, playing the percentages and the hot arms makes the most sense.