How good is the Artisan Fidelity Lenco 75??

Sorry.  I am not directly familiar with the Joule OPS-1, but I have great respect for the designer.  And it has a good rep.  You might easily check on the value by searching for others that are for sale on the internet.  That's what I would do before asking us here.

My favorite LOMC is the ZYX UNIverse in any of its many versions.  I think you can buy a low mileage UNIverse II for around $2K to $3K.  But I also like many vintage MM and MI cartridges that cost quite a bit less.  I am currently running an Audio Technica ART7 on my Lenco.  Love that too, and it's a bit less than $1000, brand new.

Good for you on your decision.  I'm sure you'll be happy.

Those should both be superb components.  My only hesitation would be the price.  Since AF turntables are costly, I assume your friend would like to recoup a large fraction of his investment, which is completely understandable.  On the other hand, AF turntables are always gorgeous to look at.  So, if you value the appearance and can pay the price, I'd say go for it.  The Lenco is a wonderful turntable.  I own one that I personally modified, extensively.  It competes with many great turntables.