Can LLMs model real-world systems in TLA+? - Tech Sentiments