Agreed, I hope they work out as well. In deference to the old story about the US development of the Space Pen during the space race, spending millions of dollars while the Russians just used a pencil, sometimes old ideas can be the answer.
Nope. Fake news.
NASA did not spend any money developing a space pen, and pencils are not necessarily a good idea in a microgravity, oxygen-rich environment.
https://airandspace.si.edu/stories/editorial/saga-writing-space