Totally true, that is a millionaire hobby and he broke the guiness record solving those puzzles but if we create a pool to contribute the search for 135, it can be the first puzzle in some time that has quite a good prize and can be shared between all the contributors. This way we can solve it in less that a year.

Any thoughts?