I have one for sale, but without trigger extension. However, I have build several over the last years and I am happy to do one for your friend. He could choose display, led and case colours, etc. I would need about 4 weeks including ordering of all parts though.
I am located in Germany. Let me know what you think.
PS: since I do not check this forum to frequently, you can also directly contact me on: firstname.lastname@example.org